формальных определений

См. также в других словарях:

• СИСТЕМА —         (от греч. целое, составленное из частей; соединение), совокупность элементов, находящихся в отношениях и связях друг с другом, которая образует определ. целостность, единство. Претерпев длит. историч. эволюцию, понятие С. с сер. 20 в.… …   Философская энциклопедия

• История и эволюция понятия преступления в России — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. Основная статья: Преступление История и эволюция понятия преступления в Росси …   Википедия

• ФИЛОСОФСКАЯ НАУКА В СССР — составная часть единой, интернациональной по своей сущности марксистско ленинской философии. Ф. н. в СССР исходит из принципов диалектического и исторического материализма, к рый является мировоззренческой и методологич. основой деятельности КПСС …   Философская энциклопедия

• Язык программирования — Язык программирования  формальная знаковая система, предназначенная для записи компьютерных программ. Язык программирования определяет набор лексических, синтаксических и семантических правил, задающих внешний вид программы и действия,… …   Википедия

• Языки программирования — Язык программирования  формальная знаковая система, предназначенная для записи программ. Программа обычно представляет собой некоторый алгоритм в форме, понятной для исполнителя (например, компьютера). Язык программирования определяет набор… …   Википедия

• Pazz & Jop — Pazz Jop  опрос музыкальных критиков, который печатается в газете The Village Voice. Составляется ежегодно из лучших десяти альбомов (песен) в списках сотен музыкальных критиков (в 2004 году в опросе участвовали 800 критиков). Лучший альбом… …   Википедия

• Тьюринг —    английский математик Алан М.Тьюринг, один из создателей логических основ вычислительной техники, в частности, дал одно из формальных определений алгоритма; доказал, что существует класс вычислительных машин, которые могут имитировать… …   Мир Лема - словарь и путеводитель

• БАРХУДАРОВ Степан Григорьевич — [23.2(7.3).1894, Баку, 3.10.1983, Москва], языковед, ч. к. АН СССР (1946). Окончил слав. отделение ист. филол. ф та Петрогр. ун та (1917), преподавал в коммерч. уч ще при Путиловском з де. С 1920 вёл науч. пед. работу в вузах и Н. и. учреждениях …   Российская педагогическая энциклопедия

• Экспликация — – 1) истолкование, объяснение, развертывание, объяснение путем точных формальных определений смысла; 2)краткое письменное изложение основного содержания, например, в музейной экспозиции …   Словарь-справочник по философии для студентов лечебного, педиатрического и стоматологического факультетов

• Модель — (франц. modèle, от лат. modulus  мера) в языкознании  1) искусственно созданное лингвистом реальное или мысленное устройство, воспроизводящее, имитирующее своим поведением (обычно в упрощённом виде) поведение какого либо другого («настоящего»)… …   Лингвистический энциклопедический словарь

• ОПРЕДЕЛИМОСТЬ —         одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …   Философская энциклопедия